Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
551	Profiling For Laziness Matthias Felleisen Stephen Chang Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-11-08 13:58:15 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
552	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science
553	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
554	Camlidl user’s manual Version 1.02 Xavier Leroy INRIA Rocquencourt July 30, 2001 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2001-07-30 11:37:08 C programming language Data types C++ Procedural programming languages Functional languages Typedef Pointer C Struct Software engineering Computing Computer programming
555	BRICS Basic Research in Computer Science BRICS RSKim et al.: Assessing the Overhead of ML Exceptions Assessing the Overhead of ML Exceptions Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-09-17 06:37:55 Functional programming Control flow Functional languages Procedural programming languages Logic in computer science Continuation-passing style Standard ML Continuation Exception handling Software engineering Computing Computer programming
556	Umbraco Contour 1.1 Developer Documentation Per Ploug HansenContains information for developers working with and extending Umbraco Contour Add to Reading List Source URL: nightly.umbraco.org Language: English - Date: 2011-08-26 07:26:47 Markup languages Functional languages Umbraco Workflow technology XSLT Workflow XPath Microsoft Visual Studio Computing Web standards XML
557	Jeremy PennerSupervisor: Michael Zapp Add to Reading List Source URL: www.sporktania.com Language: English - Date: 2006-03-17 20:56:41 Procedural programming languages Functional languages Linux RTAI Standard ML RTLinux ML Type safety Scheduling Computing Software Real-time operating systems
558	Implementing a Bibliography Processor in Scheme Jean-Michel Hufflen LIFC (FRE CNRSUniversity of Franche-Comté 16, route de GrayBESANÇON CEDEX Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 17:03:16 Technical communication Functional languages Acronyms SXML Scheme programming language BibTeX Scheme LaTeX TeX Computing Software Markup languages
559	Umbraco Contour 1.1 Developer Documentation Per Ploug HansenContains information for developers working with and extending Umbraco Contour Add to Reading List Source URL: nightly.umbraco.org Language: English - Date: 2011-10-05 04:24:00 Markup languages Functional languages Umbraco Workflow technology XSLT Workflow XPath Microsoft Visual Studio Computing Web standards XML
560	Discrete Applied Mathematics–49 Annealed replication: a new heuristic for the maximum clique problem Immanuel M. Bomzea; ∗ , Marco Budinichb , Marcello Pelilloc , Claudio Rossic Add to Reading List Source URL: www.dais.unive.it Language: English - Date: 2002-12-03 08:21:13 NP-complete problems Functional languages Procedural programming languages Recursion Clique problem Mathematical optimization Clique Independent set Dynamical system Theoretical computer science Mathematics Applied mathematics

UPDATE